University of Oxford - PDFSEARCH.IO - Document Search Engine

University of Oxford
Results: 6724

#	Item
31	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
32	© The AuthorPublished by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: Advance Access published on May Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-03-03 11:39:52 Statistical randomness Queueing theory Mathematics Markov models Probability theory Process calculi PEPA Markov processes Markov chain Product-form solution Balance equation Jane Hillston
33	On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:36:06 Temporal logic Theoretical computer science Model checking Finite automata Linear temporal logic Mathematical logic Formal languages Mathematics Bchi automaton Omega language Markov decision process Computation tree logic
34	Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 10:42:31 Temporal logic Artificial intelligence Human behavior Cognitive science Logic Linear temporal logic Computation tree logic Autonomous agent Probabilistic logic Trust Humanrobot interaction Practical reason
35	More than an Edit: Using Transcendental Information Cascades to Capture Hidden Structure in Wikipedia Ramine Tinati, Markus Luczak-Roesch, Wendy Hall University of Oxford Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:23:20 Digital media Wikipedia Wikis Social information processing Wikimedia projects World Wide Web Collaboration Burstiness WikiProject Wiki Information cascade
36	Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-08-20 07:50:57
37	Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-25 05:08:25 Mathematical analysis Temporal logic Mathematics Computation tree logic Logic in computer science Determinacy Distribution Linear temporal logic Universal representation
38	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking
39	Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-06-03 18:23:17 Mathematical analysis Mathematics Statistical randomness Measure theory Boolean algebra Experiment Sigma-algebra Markov chain Determinacy Linear temporal logic Stochastic game Markov decision process
40	Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-20 08:29:16 Network architecture Distributed computing Gossip protocol PRISM model checker Computing Application software Distributed data storage Software Game theory

UPDATE